a {
	color: #0057AE;
}

pre {
	background-color: #F6F6F6;
	border: 1px solid #DDDDDD;
	-moz-border-radius: 7px 7px 7px 7px;
	-webkit-border-radius: 7px 7px 7px 7px;
	border-radius: 7px 7px 7px 7px;
	margin: 0 20px 10px 10px;
	padding: 20px 15px 20px 20px;
	overflow-x: auto;
}
